From: Keir Fraser <keir.fraser@citrix.com>
Date: Thu, 24 Jul 2008 16:36:27 +0000 (+0100)
Subject: stubdom: make sure to use old tree for now
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14165^2~123
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=c4241bc4548ca995da9b6f97aa72027aa3193ab9;p=xen.git

stubdom: make sure to use old tree for now

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---

diff --git a/stubdom/Makefile b/stubdom/Makefile
index b82f668038..4f4240cfd5 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -3,12 +3,12 @@ MINI_OS = $(XEN_ROOT)/extras/mini-os
 
 export XEN_OS=MiniOS
 
-CONFIG_QEMU=ioemu
-
 export stubdom=y
 export debug=y
 include $(XEN_ROOT)/Config.mk
 
+override CONFIG_QEMU=ioemu
+
 IOEMU_OPTIONS=--disable-sdl --disable-opengl --disable-gfx-check --disable-vnc-tls --disable-brlapi --disable-kqemu
 ZLIB_VERSION=1.2.3
 LIBPCI_VERSION=2.2.9